Admissible rule

Results: 97



#Item
51Commonwealth Records in Evidence 2012 revision RkS

Commonwealth Records in Evidence 2012 revision RkS

Add to Reading List

Source URL: www.naa.gov.au

Language: English - Date: 2014-08-01 02:52:03
52Graph Logics with Rational Relations: The Role of Word Combinatorics Pablo Barcel´o Pablo Mu˜noz

Graph Logics with Rational Relations: The Role of Word Combinatorics Pablo Barcel´o Pablo Mu˜noz

Add to Reading List

Source URL: ciws.cl

Language: English - Date: 2014-05-04 09:47:46
53Advisory Committee on Evidence Rules Minutes of the Meeting of April 12-13, 1999 New York, N.Y. The Advisory Committee on the Federal Rules of Evidence met on April 12th and 13th at Fordham University in New York City.

Advisory Committee on Evidence Rules Minutes of the Meeting of April 12-13, 1999 New York, N.Y. The Advisory Committee on the Federal Rules of Evidence met on April 12th and 13th at Fordham University in New York City.

Add to Reading List

Source URL: www.uscourts.gov

Language: English - Date: 2006-07-21 09:47:28
54****************************************************** The ‘‘officially released’’ date that appears near the beginning of each opinion is the date the opinion will be published in the Connecticut Law Journal or

****************************************************** The ‘‘officially released’’ date that appears near the beginning of each opinion is the date the opinion will be published in the Connecticut Law Journal or

Add to Reading List

Source URL: www.jud.ct.gov

Language: English - Date: 2014-07-21 11:21:44
55arXiv:1312.0714v1 [cs.LO] 3 Dec[removed]On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic GL Andrei RUSU

arXiv:1312.0714v1 [cs.LO] 3 Dec[removed]On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic GL Andrei RUSU

Add to Reading List

Source URL: idsi.md

Language: English - Date: 2013-12-06 08:23:58
56Duplicate code detection using anti-unification Peter Bulychev Marius Minea  Lomonosov Moscow State University, Russian Federation

Duplicate code detection using anti-unification Peter Bulychev Marius Minea Lomonosov Moscow State University, Russian Federation

Add to Reading List

Source URL: clonedigger.sourceforge.net

Language: English - Date: 2008-04-08 01:58:42
5727 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64  A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY

27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AY

Add to Reading List

Source URL: cs.bath.ac.uk

Language: English - Date: 2007-12-18 10:38:50
58A Tutorial on Proof Theoretic Foundations of Logic Programming

A Tutorial on Proof Theoretic Foundations of Logic Programming

Add to Reading List

Source URL: cs.bath.ac.uk

Language: English - Date: 2007-12-18 10:38:39
59Palmetto Lecture in Statistics University of South Carolina A (VERY) SHORT COURSE ON COMPARATIVE STATISTICAL INFERENCE Francisco J. Samaniego University of California, Davis

Palmetto Lecture in Statistics University of South Carolina A (VERY) SHORT COURSE ON COMPARATIVE STATISTICAL INFERENCE Francisco J. Samaniego University of California, Davis

Add to Reading List

Source URL: www.stat.sc.edu

Language: English - Date: 2013-04-10 16:19:49
60LNCS[removed]Erasure and Polymorphism in Pure Type Systems

LNCS[removed]Erasure and Polymorphism in Pure Type Systems

Add to Reading List

Source URL: web.cecs.pdx.edu

Language: English - Date: 2008-11-13 13:58:09